#1====================================
instancia(x, 10, colcheia);
espera(t_colcheia);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 6, seminima);
espera(t_seminima);
======================================
#2====================================
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 7, seminima);
espera(t_seminima);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 6, seminima);
espera(t_seminima);
======================================
#3====================================
instancia(x, 10, colcheia);
espera(t_colcheia);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 3, colcheia);
espera(t_colcheia);
======================================
#4====================================
instancia(x, 4, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 4, minima);
espera(t_minima);
======================================


#1====================================
instancia(x, 10, colcheia);
espera(t_colcheia);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 6, seminima);
espera(t_seminima);
======================================
#2====================================
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 7, seminima);
espera(t_seminima);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 6, seminima);
espera(t_seminima);
======================================
#3====================================
instancia(x, 10, colcheia);
espera(t_colcheia);
instancia(x, 9, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 7, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 3, colcheia);
espera(t_colcheia);
======================================
#4====================================
instancia(x, 4, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 8, colcheia);
espera(t_colcheia);
instancia(x, 6, colcheia);
espera(t_colcheia);
instancia(x, 4, minima);
espera(t_minima);
======================================